منابع مشابه
Compositional Choreographies
We propose a new programming model that supports a compositionality of choreographies. The key of our approach is the introduction of partial choreographies, which can mix global descriptions with communications among external peers. We prove that if two choreographies are composable, then the endpoints independently generated from each choreography are also composable, preserving their typabil...
متن کاملAmending Choreographies
Choreographies are global descriptions of system behaviors, from which the local behavior of each endpoint entity can be obtained automatically through projection. To guarantee that its projection is correct, i.e. it has the same behaviors of the original choreography, a choreography usually has to respect some coherency conditions. This restricts the set of choreographies that can be projected...
متن کاملBSopt Choreographies - Transforming Global Choreographies into Workflow Deployment Artifacts
This thesis covers the transformation of interorganizational business processes in the area of business-to-business (B2B) electronic commerce. It builds upon the approach devised as part of the Business Semantics on top of Process Technology (BSOPT) project [2]. BSopt aims to integrate management-, administrationand IT perspectives in B2B collaborations as inspired by the Open-edi reference mod...
متن کاملAligning Geospatial Ontologies Logically
Information sharing and updates have become increasingly important in the rapidly changing world. However, owing to the distributed and decentralized nature of information collection and storage, it is not easy to use information from different sources synergistically. Ontology plays as an important role in establishing formal descriptions of a domain of discourse. In geographic information sci...
متن کاملGoing Far, Logically
There are numerous applications where we need to ensure that multiple moving objects are sufficiently far apart. Furthermore, in many moving object domains, there is positional indeterminacy — we are not 100% sure exactly when a given moving object will be at a given location. [Yaman et al., 2004] provided a logic of motion but did not provide algorithms to ensure that moving objects are kept s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Distributed Computing
سال: 2017
ISSN: 0178-2770,1432-0452
DOI: 10.1007/s00446-017-0295-1